0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇒, 282 ms)
↳2 Prolog
↳3 PrologToPiTRSProof (⇒, 43 ms)
↳4 PiTRS
↳5 DependencyPairsProof (⇔, 344 ms)
↳6 PiDP
↳7 DependencyGraphProof (⇔, 40 ms)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔, 0 ms)
↳11 PiDP
↳12 PiDPToQDPProof (⇒, 0 ms)
↳13 QDP
↳14 QDPSizeChangeProof (⇔, 0 ms)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔, 0 ms)
↳18 PiDP
↳19 PiDPToQDPProof (⇒, 0 ms)
↳20 QDP
↳21 QDPSizeChangeProof (⇔, 0 ms)
↳22 YES
↳23 PiDP
↳24 UsableRulesProof (⇔, 0 ms)
↳25 PiDP
↳26 PiDPToQDPProof (⇒, 0 ms)
↳27 QDP
↳28 QDPSizeChangeProof (⇔, 0 ms)
↳29 YES
↳30 PiDP
↳31 UsableRulesProof (⇔, 0 ms)
↳32 PiDP
↳33 PiDPToQDPProof (⇒, 0 ms)
↳34 QDP
↳35 QDPSizeChangeProof (⇔, 0 ms)
↳36 YES
↳37 PiDP
↳38 UsableRulesProof (⇔, 0 ms)
↳39 PiDP
↳40 PiDPToQDPProof (⇒, 0 ms)
↳41 QDP
↳42 QDPSizeChangeProof (⇔, 0 ms)
↳43 YES
↳44 PiDP
↳45 UsableRulesProof (⇔, 0 ms)
↳46 PiDP
↳47 PiDPToQDPProof (⇒, 0 ms)
↳48 QDP
↳49 QDPSizeChangeProof (⇔, 0 ms)
↳50 YES
↳51 PiDP
↳52 UsableRulesProof (⇔, 0 ms)
↳53 PiDP
↳54 PiDPToQDPProof (⇒, 0 ms)
↳55 QDP
↳56 MRRProof (⇔, 648 ms)
↳57 QDP
↳58 PisEmptyProof (⇔, 0 ms)
↳59 YES
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_GA(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → APPG_IN_GGGGA(T24, T25, T26, T27, X10)
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_GA(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_GA(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_GA(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
U9_GA(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → PARSEI_IN_GA(T33, T7)
PARSEI_IN_GA(cons(T68, T69), T7) → U11_GA(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
PARSEI_IN_GA(cons(T68, T69), T7) → APPA_IN_AAAAAG(X109, X110, X111, X112, X113, T69)
APPA_IN_AAAAAG(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_AAAAAG(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
APPA_IN_AAAAAG(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → APPA_IN_AAAAAG(X184, X185, X186, X187, X188, T116)
PARSEI_IN_GA(cons(T68, T69), T7) → U12_GA(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_GA(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_GA(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
U12_GA(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → APPH_IN_GGGGGGA(T68, T78, T79, T80, T81, T82, X10)
APPH_IN_GGGGGGA(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_GGGGGGA(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
APPH_IN_GGGGGGA(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → APPB_IN_GGGGGA(T147, T148, T149, T150, T151, X220)
APPB_IN_GGGGGA(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_GGGGGA(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
APPB_IN_GGGGGA(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → APPB_IN_GGGGGA(T193, T194, T195, T196, T197, X242)
U12_GA(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_GA(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_GA(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_GA(T68, T69, T7, parseI_in_ga(T125, T7))
U14_GA(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEI_IN_GA(T125, T7)
PARSEI_IN_GA(T230, T232) → U16_GA(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
PARSEI_IN_GA(T230, T232) → APPC_IN_AAAAG(X289, X290, X291, X292, T230)
APPC_IN_AAAAG(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_AAAAG(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
APPC_IN_AAAAG(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → APPC_IN_AAAAG(X353, X354, X355, X356, T269)
PARSEI_IN_GA(T230, T232) → U17_GA(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_GA(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_GA(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
U17_GA(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → APPD_IN_GGGGA(T239, T240, T241, T242, X293)
APPD_IN_GGGGA(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_GGGGA(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
APPD_IN_GGGGA(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → APPD_IN_GGGGA(T315, T316, T317, T318, X388)
U17_GA(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_GA(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_GA(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_GA(T230, T232, parseI_in_ga(T282, T232))
U19_GA(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → PARSEI_IN_GA(T282, T232)
PARSEI_IN_GA(T341, T343) → U21_GA(T341, T343, appE_in_aag(X423, X424, T341))
PARSEI_IN_GA(T341, T343) → APPE_IN_AAG(X423, X424, T341)
APPE_IN_AAG(cons(T359, X463), X464, cons(T359, T360)) → U5_AAG(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
APPE_IN_AAG(cons(T359, X463), X464, cons(T359, T360)) → APPE_IN_AAG(X463, X464, T360)
PARSEI_IN_GA(T341, T343) → U22_GA(T341, T343, appE_in_aag(T346, T347, T341))
U22_GA(T341, T343, appE_out_aag(T346, T347, T341)) → U23_GA(T341, T343, appF_in_gga(T346, T347, X425))
U22_GA(T341, T343, appE_out_aag(T346, T347, T341)) → APPF_IN_GGA(T346, T347, X425)
APPF_IN_GGA(cons(T379, T380), T381, cons(T379, X492)) → U6_GGA(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
APPF_IN_GGA(cons(T379, T380), T381, cons(T379, X492)) → APPF_IN_GGA(T380, T381, X492)
U22_GA(T341, T343, appE_out_aag(T346, T347, T341)) → U24_GA(T341, T343, appF_in_gga(T346, T347, T365))
U24_GA(T341, T343, appF_out_gga(T346, T347, T365)) → U25_GA(T341, T343, parseI_in_ga(T365, T343))
U24_GA(T341, T343, appF_out_gga(T346, T347, T365)) → PARSEI_IN_GA(T365, T343)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_GA(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → APPG_IN_GGGGA(T24, T25, T26, T27, X10)
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_GA(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_GA(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_GA(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
U9_GA(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → PARSEI_IN_GA(T33, T7)
PARSEI_IN_GA(cons(T68, T69), T7) → U11_GA(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
PARSEI_IN_GA(cons(T68, T69), T7) → APPA_IN_AAAAAG(X109, X110, X111, X112, X113, T69)
APPA_IN_AAAAAG(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_AAAAAG(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
APPA_IN_AAAAAG(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → APPA_IN_AAAAAG(X184, X185, X186, X187, X188, T116)
PARSEI_IN_GA(cons(T68, T69), T7) → U12_GA(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_GA(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_GA(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
U12_GA(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → APPH_IN_GGGGGGA(T68, T78, T79, T80, T81, T82, X10)
APPH_IN_GGGGGGA(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_GGGGGGA(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
APPH_IN_GGGGGGA(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → APPB_IN_GGGGGA(T147, T148, T149, T150, T151, X220)
APPB_IN_GGGGGA(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_GGGGGA(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
APPB_IN_GGGGGA(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → APPB_IN_GGGGGA(T193, T194, T195, T196, T197, X242)
U12_GA(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_GA(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_GA(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_GA(T68, T69, T7, parseI_in_ga(T125, T7))
U14_GA(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEI_IN_GA(T125, T7)
PARSEI_IN_GA(T230, T232) → U16_GA(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
PARSEI_IN_GA(T230, T232) → APPC_IN_AAAAG(X289, X290, X291, X292, T230)
APPC_IN_AAAAG(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_AAAAG(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
APPC_IN_AAAAG(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → APPC_IN_AAAAG(X353, X354, X355, X356, T269)
PARSEI_IN_GA(T230, T232) → U17_GA(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_GA(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_GA(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
U17_GA(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → APPD_IN_GGGGA(T239, T240, T241, T242, X293)
APPD_IN_GGGGA(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_GGGGA(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
APPD_IN_GGGGA(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → APPD_IN_GGGGA(T315, T316, T317, T318, X388)
U17_GA(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_GA(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_GA(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_GA(T230, T232, parseI_in_ga(T282, T232))
U19_GA(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → PARSEI_IN_GA(T282, T232)
PARSEI_IN_GA(T341, T343) → U21_GA(T341, T343, appE_in_aag(X423, X424, T341))
PARSEI_IN_GA(T341, T343) → APPE_IN_AAG(X423, X424, T341)
APPE_IN_AAG(cons(T359, X463), X464, cons(T359, T360)) → U5_AAG(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
APPE_IN_AAG(cons(T359, X463), X464, cons(T359, T360)) → APPE_IN_AAG(X463, X464, T360)
PARSEI_IN_GA(T341, T343) → U22_GA(T341, T343, appE_in_aag(T346, T347, T341))
U22_GA(T341, T343, appE_out_aag(T346, T347, T341)) → U23_GA(T341, T343, appF_in_gga(T346, T347, X425))
U22_GA(T341, T343, appE_out_aag(T346, T347, T341)) → APPF_IN_GGA(T346, T347, X425)
APPF_IN_GGA(cons(T379, T380), T381, cons(T379, X492)) → U6_GGA(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
APPF_IN_GGA(cons(T379, T380), T381, cons(T379, X492)) → APPF_IN_GGA(T380, T381, X492)
U22_GA(T341, T343, appE_out_aag(T346, T347, T341)) → U24_GA(T341, T343, appF_in_gga(T346, T347, T365))
U24_GA(T341, T343, appF_out_gga(T346, T347, T365)) → U25_GA(T341, T343, parseI_in_ga(T365, T343))
U24_GA(T341, T343, appF_out_gga(T346, T347, T365)) → PARSEI_IN_GA(T365, T343)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
APPF_IN_GGA(cons(T379, T380), T381, cons(T379, X492)) → APPF_IN_GGA(T380, T381, X492)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
APPF_IN_GGA(cons(T379, T380), T381, cons(T379, X492)) → APPF_IN_GGA(T380, T381, X492)
APPF_IN_GGA(cons(T379, T380), T381) → APPF_IN_GGA(T380, T381)
From the DPs we obtained the following set of size-change graphs:
APPE_IN_AAG(cons(T359, X463), X464, cons(T359, T360)) → APPE_IN_AAG(X463, X464, T360)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
APPE_IN_AAG(cons(T359, X463), X464, cons(T359, T360)) → APPE_IN_AAG(X463, X464, T360)
APPE_IN_AAG(cons(T359, T360)) → APPE_IN_AAG(T360)
From the DPs we obtained the following set of size-change graphs:
APPD_IN_GGGGA(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → APPD_IN_GGGGA(T315, T316, T317, T318, X388)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
APPD_IN_GGGGA(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → APPD_IN_GGGGA(T315, T316, T317, T318, X388)
APPD_IN_GGGGA(cons(T314, T315), T316, T317, T318) → APPD_IN_GGGGA(T315, T316, T317, T318)
From the DPs we obtained the following set of size-change graphs:
APPC_IN_AAAAG(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → APPC_IN_AAAAG(X353, X354, X355, X356, T269)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
APPC_IN_AAAAG(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → APPC_IN_AAAAG(X353, X354, X355, X356, T269)
APPC_IN_AAAAG(cons(T268, T269)) → APPC_IN_AAAAG(T269)
From the DPs we obtained the following set of size-change graphs:
APPB_IN_GGGGGA(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → APPB_IN_GGGGGA(T193, T194, T195, T196, T197, X242)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
APPB_IN_GGGGGA(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → APPB_IN_GGGGGA(T193, T194, T195, T196, T197, X242)
APPB_IN_GGGGGA(cons(T192, T193), T194, T195, T196, T197) → APPB_IN_GGGGGA(T193, T194, T195, T196, T197)
From the DPs we obtained the following set of size-change graphs:
APPA_IN_AAAAAG(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → APPA_IN_AAAAAG(X184, X185, X186, X187, X188, T116)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
APPA_IN_AAAAAG(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → APPA_IN_AAAAAG(X184, X185, X186, X187, X188, T116)
APPA_IN_AAAAAG(cons(T115, T116)) → APPA_IN_AAAAAG(T116)
From the DPs we obtained the following set of size-change graphs:
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_GA(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_GA(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → PARSEI_IN_GA(T33, T7)
PARSEI_IN_GA(cons(T68, T69), T7) → U12_GA(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_GA(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_GA(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_GA(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEI_IN_GA(T125, T7)
PARSEI_IN_GA(T230, T232) → U17_GA(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_GA(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_GA(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_GA(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → PARSEI_IN_GA(T282, T232)
PARSEI_IN_GA(T341, T343) → U22_GA(T341, T343, appE_in_aag(T346, T347, T341))
U22_GA(T341, T343, appE_out_aag(T346, T347, T341)) → U24_GA(T341, T343, appF_in_gga(T346, T347, T365))
U24_GA(T341, T343, appF_out_gga(T346, T347, T365)) → PARSEI_IN_GA(T365, T343)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U8_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, X10))
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
U8_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, X10)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
parseI_in_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_ga(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_ga(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → U10_ga(T24, T25, T26, T27, T7, parseI_in_ga(T33, T7))
parseI_in_ga(cons(T68, T69), T7) → U11_ga(T68, T69, T7, appA_in_aaaaag(X109, X110, X111, X112, X113, T69))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U11_ga(T68, T69, T7, appA_out_aaaaag(X109, X110, X111, X112, X113, T69)) → parseI_out_ga(cons(T68, T69), T7)
parseI_in_ga(cons(T68, T69), T7) → U12_ga(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U13_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, X10))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U13_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, X10)) → parseI_out_ga(cons(T68, T69), T7)
U12_ga(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_ga(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_ga(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U15_ga(T68, T69, T7, parseI_in_ga(T125, T7))
parseI_in_ga(T230, T232) → U16_ga(T230, T232, appC_in_aaaag(X289, X290, X291, X292, T230))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U16_ga(T230, T232, appC_out_aaaag(X289, X290, X291, X292, T230)) → parseI_out_ga(T230, T232)
parseI_in_ga(T230, T232) → U17_ga(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U18_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, X293))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U18_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, X293)) → parseI_out_ga(T230, T232)
U17_ga(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_ga(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_ga(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → U20_ga(T230, T232, parseI_in_ga(T282, T232))
parseI_in_ga(T341, T343) → U21_ga(T341, T343, appE_in_aag(X423, X424, T341))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U21_ga(T341, T343, appE_out_aag(X423, X424, T341)) → parseI_out_ga(T341, T343)
parseI_in_ga(T341, T343) → U22_ga(T341, T343, appE_in_aag(T346, T347, T341))
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U23_ga(T341, T343, appF_in_gga(T346, T347, X425))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
U23_ga(T341, T343, appF_out_gga(T346, T347, X425)) → parseI_out_ga(T341, T343)
U22_ga(T341, T343, appE_out_aag(T346, T347, T341)) → U24_ga(T341, T343, appF_in_gga(T346, T347, T365))
U24_ga(T341, T343, appF_out_gga(T346, T347, T365)) → U25_ga(T341, T343, parseI_in_ga(T365, T343))
parseI_in_ga(cons(s(T394, T395), nil), s(T394, T395)) → parseI_out_ga(cons(s(T394, T395), nil), s(T394, T395))
parseI_in_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404)) → parseI_out_ga(cons(s(T402, T403, T404), nil), s(T402, T403, T404))
U25_ga(T341, T343, parseI_out_ga(T365, T343)) → parseI_out_ga(T341, T343)
U20_ga(T230, T232, parseI_out_ga(T282, T232)) → parseI_out_ga(T230, T232)
U15_ga(T68, T69, T7, parseI_out_ga(T125, T7)) → parseI_out_ga(cons(T68, T69), T7)
U10_ga(T24, T25, T26, T27, T7, parseI_out_ga(T33, T7)) → parseI_out_ga(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7)
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27))), T7) → U9_GA(T24, T25, T26, T27, T7, appG_in_gggga(T24, T25, T26, T27, T33))
U9_GA(T24, T25, T26, T27, T7, appG_out_gggga(T24, T25, T26, T27, T33)) → PARSEI_IN_GA(T33, T7)
PARSEI_IN_GA(cons(T68, T69), T7) → U12_GA(T68, T69, T7, appA_in_aaaaag(T78, T79, T80, T81, T82, T69))
U12_GA(T68, T69, T7, appA_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U14_GA(T68, T69, T7, appH_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U14_GA(T68, T69, T7, appH_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEI_IN_GA(T125, T7)
PARSEI_IN_GA(T230, T232) → U17_GA(T230, T232, appC_in_aaaag(T239, T240, T241, T242, T230))
U17_GA(T230, T232, appC_out_aaaag(T239, T240, T241, T242, T230)) → U19_GA(T230, T232, appD_in_gggga(T239, T240, T241, T242, T282))
U19_GA(T230, T232, appD_out_gggga(T239, T240, T241, T242, T282)) → PARSEI_IN_GA(T282, T232)
PARSEI_IN_GA(T341, T343) → U22_GA(T341, T343, appE_in_aag(T346, T347, T341))
U22_GA(T341, T343, appE_out_aag(T346, T347, T341)) → U24_GA(T341, T343, appF_in_gga(T346, T347, T365))
U24_GA(T341, T343, appF_out_gga(T346, T347, T365)) → PARSEI_IN_GA(T365, T343)
appG_in_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57)) → appG_out_gggga(T54, T55, T56, T57, cons(s(a, s(T54, T55, T56), b), T57))
appA_in_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110, cons(a, cons(s(T107, T108, T109), cons(b, T110))))
appA_in_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116)) → U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_in_aaaaag(X184, X185, X186, X187, X188, T116))
appH_in_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220)) → U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_in_ggggga(T147, T148, T149, T150, T151, X220))
appC_in_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263, cons(a, cons(s(T261, T262), cons(b, T263))))
appC_in_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269)) → U3_aaaag(T268, X353, X354, X355, X356, T269, appC_in_aaaag(X353, X354, X355, X356, T269))
appD_in_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303)) → appD_out_gggga(nil, T301, T302, T303, cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388)) → U4_gggga(T314, T315, T316, T317, T318, X388, appD_in_gggga(T315, T316, T317, T318, X388))
appE_in_aag(nil, T354, cons(a, cons(b, T354))) → appE_out_aag(nil, T354, cons(a, cons(b, T354)))
appE_in_aag(cons(T359, X463), X464, cons(T359, T360)) → U5_aag(T359, X463, X464, T360, appE_in_aag(X463, X464, T360))
appF_in_gga(nil, T372, cons(s(a, b), T372)) → appF_out_gga(nil, T372, cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381, cons(T379, X492)) → U6_gga(T379, T380, T381, X492, appF_in_gga(T380, T381, X492))
U1_aaaaag(T115, X184, X185, X186, X187, X188, T116, appA_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188, cons(T115, T116))
U7_gggggga(T146, T147, T148, T149, T150, T151, X220, appB_out_ggggga(T147, T148, T149, T150, T151, X220)) → appH_out_gggggga(T146, T147, T148, T149, T150, T151, cons(T146, X220))
U3_aaaag(T268, X353, X354, X355, X356, T269, appC_out_aaaag(X353, X354, X355, X356, T269)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356, cons(T268, T269))
U4_gggga(T314, T315, T316, T317, T318, X388, appD_out_gggga(T315, T316, T317, T318, X388)) → appD_out_gggga(cons(T314, T315), T316, T317, T318, cons(T314, X388))
U5_aag(T359, X463, X464, T360, appE_out_aag(X463, X464, T360)) → appE_out_aag(cons(T359, X463), X464, cons(T359, T360))
U6_gga(T379, T380, T381, X492, appF_out_gga(T380, T381, X492)) → appF_out_gga(cons(T379, T380), T381, cons(T379, X492))
appB_in_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179)) → appB_out_ggggga(nil, T176, T177, T178, T179, cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242)) → U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_in_ggggga(T193, T194, T195, T196, T197, X242))
U2_ggggga(T192, T193, T194, T195, T196, T197, X242, appB_out_ggggga(T193, T194, T195, T196, T197, X242)) → appB_out_ggggga(cons(T192, T193), T194, T195, T196, T197, cons(T192, X242))
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27)))) → U9_GA(appG_in_gggga(T24, T25, T26, T27))
U9_GA(appG_out_gggga(T33)) → PARSEI_IN_GA(T33)
PARSEI_IN_GA(cons(T68, T69)) → U12_GA(T68, appA_in_aaaaag(T69))
U12_GA(T68, appA_out_aaaaag(T78, T79, T80, T81, T82)) → U14_GA(appH_in_gggggga(T68, T78, T79, T80, T81, T82))
U14_GA(appH_out_gggggga(T125)) → PARSEI_IN_GA(T125)
PARSEI_IN_GA(T230) → U17_GA(appC_in_aaaag(T230))
U17_GA(appC_out_aaaag(T239, T240, T241, T242)) → U19_GA(appD_in_gggga(T239, T240, T241, T242))
U19_GA(appD_out_gggga(T282)) → PARSEI_IN_GA(T282)
PARSEI_IN_GA(T341) → U22_GA(appE_in_aag(T341))
U22_GA(appE_out_aag(T346, T347)) → U24_GA(appF_in_gga(T346, T347))
U24_GA(appF_out_gga(T365)) → PARSEI_IN_GA(T365)
appG_in_gggga(T54, T55, T56, T57) → appG_out_gggga(cons(s(a, s(T54, T55, T56), b), T57))
appA_in_aaaaag(cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110)
appA_in_aaaaag(cons(T115, T116)) → U1_aaaaag(T115, appA_in_aaaaag(T116))
appH_in_gggggga(T146, T147, T148, T149, T150, T151) → U7_gggggga(T146, appB_in_ggggga(T147, T148, T149, T150, T151))
appC_in_aaaag(cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263)
appC_in_aaaag(cons(T268, T269)) → U3_aaaag(T268, appC_in_aaaag(T269))
appD_in_gggga(nil, T301, T302, T303) → appD_out_gggga(cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318) → U4_gggga(T314, appD_in_gggga(T315, T316, T317, T318))
appE_in_aag(cons(a, cons(b, T354))) → appE_out_aag(nil, T354)
appE_in_aag(cons(T359, T360)) → U5_aag(T359, appE_in_aag(T360))
appF_in_gga(nil, T372) → appF_out_gga(cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381) → U6_gga(T379, appF_in_gga(T380, T381))
U1_aaaaag(T115, appA_out_aaaaag(X184, X185, X186, X187, X188)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188)
U7_gggggga(T146, appB_out_ggggga(X220)) → appH_out_gggggga(cons(T146, X220))
U3_aaaag(T268, appC_out_aaaag(X353, X354, X355, X356)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356)
U4_gggga(T314, appD_out_gggga(X388)) → appD_out_gggga(cons(T314, X388))
U5_aag(T359, appE_out_aag(X463, X464)) → appE_out_aag(cons(T359, X463), X464)
U6_gga(T379, appF_out_gga(X492)) → appF_out_gga(cons(T379, X492))
appB_in_ggggga(nil, T176, T177, T178, T179) → appB_out_ggggga(cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197) → U2_ggggga(T192, appB_in_ggggga(T193, T194, T195, T196, T197))
U2_ggggga(T192, appB_out_ggggga(X242)) → appB_out_ggggga(cons(T192, X242))
appG_in_gggga(x0, x1, x2, x3)
appA_in_aaaaag(x0)
appH_in_gggggga(x0, x1, x2, x3, x4, x5)
appC_in_aaaag(x0)
appD_in_gggga(x0, x1, x2, x3)
appE_in_aag(x0)
appF_in_gga(x0, x1)
U1_aaaaag(x0, x1)
U7_gggggga(x0, x1)
U3_aaaag(x0, x1)
U4_gggga(x0, x1)
U5_aag(x0, x1)
U6_gga(x0, x1)
appB_in_ggggga(x0, x1, x2, x3, x4)
U2_ggggga(x0, x1)
PARSEI_IN_GA(cons(a, cons(s(T24, T25, T26), cons(b, T27)))) → U9_GA(appG_in_gggga(T24, T25, T26, T27))
U9_GA(appG_out_gggga(T33)) → PARSEI_IN_GA(T33)
PARSEI_IN_GA(cons(T68, T69)) → U12_GA(T68, appA_in_aaaaag(T69))
U12_GA(T68, appA_out_aaaaag(T78, T79, T80, T81, T82)) → U14_GA(appH_in_gggggga(T68, T78, T79, T80, T81, T82))
U14_GA(appH_out_gggggga(T125)) → PARSEI_IN_GA(T125)
PARSEI_IN_GA(T230) → U17_GA(appC_in_aaaag(T230))
U17_GA(appC_out_aaaag(T239, T240, T241, T242)) → U19_GA(appD_in_gggga(T239, T240, T241, T242))
U19_GA(appD_out_gggga(T282)) → PARSEI_IN_GA(T282)
PARSEI_IN_GA(T341) → U22_GA(appE_in_aag(T341))
U22_GA(appE_out_aag(T346, T347)) → U24_GA(appF_in_gga(T346, T347))
U24_GA(appF_out_gga(T365)) → PARSEI_IN_GA(T365)
appG_in_gggga(T54, T55, T56, T57) → appG_out_gggga(cons(s(a, s(T54, T55, T56), b), T57))
appA_in_aaaaag(cons(a, cons(s(T107, T108, T109), cons(b, T110)))) → appA_out_aaaaag(nil, T107, T108, T109, T110)
appA_in_aaaaag(cons(T115, T116)) → U1_aaaaag(T115, appA_in_aaaaag(T116))
appH_in_gggggga(T146, T147, T148, T149, T150, T151) → U7_gggggga(T146, appB_in_ggggga(T147, T148, T149, T150, T151))
appC_in_aaaag(cons(a, cons(s(T261, T262), cons(b, T263)))) → appC_out_aaaag(nil, T261, T262, T263)
appC_in_aaaag(cons(T268, T269)) → U3_aaaag(T268, appC_in_aaaag(T269))
appD_in_gggga(nil, T301, T302, T303) → appD_out_gggga(cons(s(a, s(T301, T302), b), T303))
appD_in_gggga(cons(T314, T315), T316, T317, T318) → U4_gggga(T314, appD_in_gggga(T315, T316, T317, T318))
appE_in_aag(cons(a, cons(b, T354))) → appE_out_aag(nil, T354)
appE_in_aag(cons(T359, T360)) → U5_aag(T359, appE_in_aag(T360))
appF_in_gga(nil, T372) → appF_out_gga(cons(s(a, b), T372))
appF_in_gga(cons(T379, T380), T381) → U6_gga(T379, appF_in_gga(T380, T381))
U1_aaaaag(T115, appA_out_aaaaag(X184, X185, X186, X187, X188)) → appA_out_aaaaag(cons(T115, X184), X185, X186, X187, X188)
U7_gggggga(T146, appB_out_ggggga(X220)) → appH_out_gggggga(cons(T146, X220))
U3_aaaag(T268, appC_out_aaaag(X353, X354, X355, X356)) → appC_out_aaaag(cons(T268, X353), X354, X355, X356)
U4_gggga(T314, appD_out_gggga(X388)) → appD_out_gggga(cons(T314, X388))
U5_aag(T359, appE_out_aag(X463, X464)) → appE_out_aag(cons(T359, X463), X464)
U6_gga(T379, appF_out_gga(X492)) → appF_out_gga(cons(T379, X492))
appB_in_ggggga(nil, T176, T177, T178, T179) → appB_out_ggggga(cons(s(a, s(T176, T177, T178), b), T179))
appB_in_ggggga(cons(T192, T193), T194, T195, T196, T197) → U2_ggggga(T192, appB_in_ggggga(T193, T194, T195, T196, T197))
U2_ggggga(T192, appB_out_ggggga(X242)) → appB_out_ggggga(cons(T192, X242))
appFingga2 > appGingggga4 > appBinggggga5 > b > U6gga2 > appEinaag1 > U5aag2 > appEoutaag2 > appCinaaaag1 > U3aaaag2 > appAinaaaaag1 > appDingggga4 > U4gggga2 > appCoutaaaag4 > U19GA1 > U12GA2 > cons2 > U14GA1 > U17GA1 > U24GA1 > U1aaaaag2 > appDoutgggga1 > nil > appGoutgggga1 > U7gggggga2 > U9GA1 > PARSEIINGA1 > appHingggggga6 > appFoutgga1 > U22GA1 > appAoutaaaaag5 > s2 > U2ggggga2 > appBoutggggga1 > a > appHoutgggggga1 > s3
a=1
b=1
nil=13
appG_out_gggga_1=9
appA_in_aaaaag_1=5
appC_in_aaaag_1=5
appD_out_gggga_1=10
appE_in_aag_1=8
appF_out_gga_1=9
appB_out_ggggga_1=9
appH_out_gggggga_1=11
PARSEI_IN_GA_1=11
U9_GA_1=3
U14_GA_1=1
U17_GA_1=3
U19_GA_1=1
U22_GA_1=3
U24_GA_1=3
appG_in_gggga_4=13
cons_2=2
s_3=0
appA_out_aaaaag_5=0
U1_aaaaag_2=2
appH_in_gggggga_6=6
U7_gggggga_2=5
appB_in_ggggga_5=0
s_2=0
appC_out_aaaag_4=0
U3_aaaag_2=2
appD_in_gggga_4=1
U4_gggga_2=2
appE_out_aag_2=1
U5_aag_2=2
appF_in_gga_2=0
U6_gga_2=2
U2_ggggga_2=2
U12_GA_2=7
appG_in_gggga(x0, x1, x2, x3)
appA_in_aaaaag(x0)
appH_in_gggggga(x0, x1, x2, x3, x4, x5)
appC_in_aaaag(x0)
appD_in_gggga(x0, x1, x2, x3)
appE_in_aag(x0)
appF_in_gga(x0, x1)
U1_aaaaag(x0, x1)
U7_gggggga(x0, x1)
U3_aaaag(x0, x1)
U4_gggga(x0, x1)
U5_aag(x0, x1)
U6_gga(x0, x1)
appB_in_ggggga(x0, x1, x2, x3, x4)
U2_ggggga(x0, x1)